SCG_INK
11
98
14743 5584
14740 5567
14737 5550
14731 5531
14723 5514
14706 5494
14692 5480
14678 5464
14653 5450
14636 5438
14611 5427
14589 5422
14563 5419
14541 5424
14513 5433
14477 5455
14443 5483
14398 5520
14353 5564
14306 5615
14264 5674
14222 5738
14185 5800
14160 5858
14143 5914
14143 5959
14157 5998
14185 6024
14225 6038
14275 6040
14331 6029
14393 6010
14457 5982
14521 5951
14577 5912
14631 5878
14673 5844
14709 5814
14740 5783
14762 5755
14776 5730
14785 5704
14790 5682
14793 5657
14793 5632
14796 5604
14796 5584
14796 5559
14799 5542
14799 5522
14801 5511
14801 5500
14804 5494
14804 5494
14804 5494
14801 5500
14801 5506
14799 5517
14796 5525
14793 5542
14787 5559
14785 5584
14779 5612
14773 5648
14768 5688
14759 5738
14751 5800
14743 5870
14731 5954
14720 6043
14706 6136
14689 6236
14675 6337
14661 6441
14645 6545
14628 6645
14611 6741
14594 6827
14575 6914
14561 6990
14535 7051
14513 7107
14488 7155
14460 7194
14426 7222
14395 7242
14359 7250
14325 7253
14289 7250
14255 7236
14222 7211
14188 7175
14160 7130
14135 7077
14121 7021
14110 6965
14110 6900
14124 6836
44
15345 5226
15361 5240
15384 5265
15417 5290
15462 5324
15515 5357
15571 5396
15633 5433
15692 5466
15753 5497
15804 5525
15851 5548
15888 5567
15919 5584
15935 5598
15949 5609
15958 5615
15958 5626
15955 5634
15947 5648
15933 5665
15913 5688
15891 5704
15857 5730
15821 5760
15773 5797
15723 5833
15669 5870
15613 5909
15555 5948
15499 5993
15448 6035
15401 6068
15364 6096
15333 6122
15311 6141
15294 6158
15286 6166
15280 6175
15280 6172
15291 6175
15305 6178
15319 6169
15345 6164
20
16098 5940
16067 5968
16028 6007
15983 6052
15930 6102
15871 6161
15807 6217
15745 6273
15686 6320
15630 6365
15583 6399
15543 6427
15515 6444
15496 6458
15485 6466
15479 6469
15479 6472
15482 6472
15482 6469
15493 6475
15
17386 4405
17383 4453
17377 4511
17375 4590
17366 4674
17361 4763
17349 4853
17341 4940
17333 5021
17321 5091
17313 5150
17305 5200
17296 5240
17293 5273
17296 5307
20
17758 5004
17795 5032
17817 5066
17823 5097
17814 5130
17786 5158
17750 5189
17699 5220
17646 5245
17587 5268
17531 5293
17478 5310
17433 5329
17394 5346
17363 5357
17344 5371
17327 5377
17319 5385
17324 5396
17321 5396
45
17716 5072
17711 5066
17708 5066
17702 5063
17697 5060
17691 5055
17685 5052
17680 5049
17671 5044
17666 5041
17657 5035
17649 5030
17638 5027
17627 5021
17613 5018
17599 5013
17585 5010
17568 5007
17554 5004
17540 5002
17526 4999
17506 4993
17492 4990
17478 4988
17467 4985
17456 4982
17439 4979
17428 4979
17417 4976
17408 4976
17397 4976
17386 4976
17375 4976
17363 4976
17361 4979
17349 4979
17344 4979
17338 4979
17335 4979
17333 4979
17333 4982
17330 4979
17333 4982
17335 4988
17333 4985
43
16451 5833
16448 5836
16442 5836
16437 5836
16434 5836
16431 5839
16428 5839
16428 5836
16434 5836
16439 5836
16451 5836
16470 5836
16498 5836
16537 5828
16591 5825
16661 5816
16756 5808
16865 5797
16991 5786
17137 5769
17302 5755
17475 5746
17657 5732
17851 5721
18041 5710
18231 5702
18419 5693
18604 5682
18778 5671
18940 5660
19091 5646
19217 5634
19324 5623
19410 5612
19478 5601
19522 5592
19550 5584
19564 5578
19567 5573
19570 5570
19573 5573
19562 5567
19556 5570
19
16882 6376
16876 6374
16873 6365
16879 6357
16901 6348
16941 6332
16991 6312
17053 6290
17123 6267
17193 6245
17260 6222
17324 6208
17380 6194
17422 6189
17453 6186
17473 6189
17478 6194
17470 6197
17470 6208
64
16823 6351
16831 6365
16840 6382
16862 6399
16885 6424
16915 6447
16955 6469
16997 6489
17047 6508
17095 6522
17148 6531
17198 6539
17249 6542
17288 6545
17324 6547
17355 6553
17377 6556
17389 6564
17394 6578
17394 6595
17386 6620
17375 6643
17358 6673
17333 6704
17307 6743
17279 6783
17246 6830
17204 6878
17159 6931
17111 6984
17058 7040
17002 7096
16949 7149
16899 7200
16851 7242
16812 7278
16784 7309
16767 7331
16759 7351
16764 7362
16778 7371
16803 7371
16840 7371
16885 7368
16941 7365
17002 7357
17069 7348
17137 7340
17212 7331
17285 7320
17355 7312
17417 7301
17473 7295
17523 7287
17562 7278
17599 7275
17621 7270
17641 7270
17649 7267
17660 7267
17666 7264
17674 7253
17691 7250
17711 7233
23
18206 6601
18192 6584
18184 6581
18173 6587
18164 6603
18159 6631
18153 6668
18147 6715
18145 6771
18142 6836
18136 6906
18133 6979
18128 7049
18117 7119
18105 7183
18091 7245
18077 7301
18061 7351
18044 7399
18027 7435
18019 7463
18016 7491
18010 7497
36
18173 6410
18215 6362
18265 6315
18329 6281
18400 6250
18478 6231
18556 6225
18635 6234
18699 6259
18750 6290
18786 6332
18803 6376
18806 6424
18794 6466
18769 6511
18733 6547
18691 6584
18638 6615
18582 6651
18520 6682
18464 6713
18411 6743
18366 6771
18327 6799
18299 6822
18276 6839
18268 6850
18262 6858
18265 6864
18271 6864
18273 6861
18282 6861
18285 6855
18293 6853
18299 6853
18299 6844

ANNOTATIONS
SYMBOL <0> g
SYMBOLMAP <0> 0
SYMBOL <1, 2> geq
SYMBOLMAP <1, 2> 1
SYMBOL <3, 4, 5> b
SYMBOLMAP <3, 4, 5> 2
SYMBOL <6> horzline
SYMBOLMAP <6> 3
SYMBOL <7, 8> Sigma
SYMBOLMAP <7, 8> 4
SYMBOL <9, 10> p
SYMBOLMAP <9, 10> 5

LINK <0> R <1, 2>
LINK <3, 4, 5> B <6>
LINK <7, 8> R <9, 10>
LINK <6> B <7, 8, 9, 10>
LINK <1, 2> R <3, 4, 5, 6, 7, 8, 9, 10>

TREE (REL (NAME (TERM g)) (FRAC (NAME (TERM b)) (SUM ( ) ( ) (NAME (TERM p)))) (TERM geq))
